De Bruijn index
ド・ブラウン・インデックス
The
De Bruijn notation
for λ-terms.
Combinatory logic
, a more essential way to eliminate variable names.
/suto3/google.icon
De Bruijn index
image
De Bruijn index
define
De Bruijn index
wikipedia
De Bruijn index
weblio
De Bruijn index
kotobank
De Bruijn index
jisho
De Bruijn index